индуктивная алгебра

См. также в других словарях:

• ВЕРОЯТНОСТЬ — общенаучная и филос. категория, обозначающая количественную степень возможности появления массовых случайных событий при фиксированных условиях наблюдения, характеризующую устойчивость их относительных частот. В логике семантическая степень… …   Философская энциклопедия

• Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

• ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… …   Философская энциклопедия

• Список статей по логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

• ОБЩАЯ ТОПОЛОГИЯ — ветвь геометрии, посвященная исследованию непрерывности и предельного перехода на том естественном уровне общности, к рый определяется природой этих понятий. Исходными понятиями О. т. являются понятия топологического пространства и непрерывного… …   Математическая энциклопедия

• МЫШЛЕНИЕ — категория, обозначающая процессуаль ность функционирования сознания (познавательную деятельность) традиционный предмет философствования, присутствующий в его структуре с момента возникновения философии как таковой. Уже у одного из последних… …   Новейший философский словарь

• Логика — Гр …   Википедия

• Формальная логика — Формальная логика  конструирование и исследование правил преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий. Формальная логика, в отличие от неформальной,… …   Википедия

• Coq — (фр. coq  петух)  интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… …   Википедия